<html>
<head>
<script><!--
var b = document.body;
b.foobar = 'foobar';
alert('hello3');
b.timestamp = (new Date()).getTime();
alert('b.timestamp=' + b.timestamp);
//-->
</script>
</head>
<body id="thebody">
<script>
var b2 = document.body;
alert('b2.timestamp=' + b2.timestamp);
var b3 = document.getElementById('thebody');
alert('b3.timestamp=' + b3.timestamp);
var b4 = document.getElementById('thediv');
if(b4 == null) {
	alert('could not find thediv');
}
else {
	b4.innerHTML = 'this is a div';
}
</script>
<div style="border: solid black;" id="thediv"></div>
</body>
